def split(x: M): (M, M) = (f(x), g(x))